constructive program verification中文是什么意思

發(fā)音:

中文翻譯

結(jié)構(gòu)程序驗(yàn)證

constructive adj. 1.構(gòu)成的，建設(shè)(性)的；積極的。 2.【法律 ...
verification n. 1.證實(shí)，證明，確定；核驗(yàn)，驗(yàn)證，核對(duì)；檢驗(yàn)，校驗(yàn) ...
program verification 程序檢驗(yàn); 程序驗(yàn)證
automatic program verification 自動(dòng)程序驗(yàn)證
automatic program verification system 自動(dòng)程序驗(yàn)證系統(tǒng)
computer program verification 計(jì)算機(jī)程序驗(yàn)證
installation verification program 安裝驗(yàn)證程序
program design verification 程序設(shè)計(jì)驗(yàn)證
user program verification facility 用戶程序驗(yàn)證設(shè)施
verification management program 驗(yàn)證管理程序
constructive adj. 1.構(gòu)成的，建設(shè)(性)的；積極的。 2.【法律】推定的；解釋(性)的。 3.【數(shù)學(xué)】作圖的；【物理學(xué)】相長(zhǎng)的。 constructive criticism 建設(shè)性的批評(píng)。 a constructive faculty 組織力，建設(shè)力。 adv. -ly ,-ness n.
verification n. 1.證實(shí)，證明，確定；核驗(yàn)，驗(yàn)證，核對(duì)；檢驗(yàn)，校驗(yàn)。 2.【法律】訴狀[答辯書]結(jié)尾的舉證說明。 verification of machines 機(jī)器的校準(zhǔn)[檢定]。
be positive and constructive 積極而有建設(shè)性的
constructive abandonment 推定遺棄, 推定拋棄
constructive abstention 建設(shè)性棄權(quán)
constructive accounting 會(huì)計(jì)制度設(shè)計(jì); 建設(shè)會(huì)計(jì); 設(shè)計(jì)會(huì)計(jì)；設(shè)計(jì)會(huì)計(jì)學(xué); 設(shè)計(jì)會(huì)計(jì)學(xué)
constructive algorithm 構(gòu)成算法
constructive alternativism 構(gòu)建替換論
constructive ambiguity 建設(shè)性模棱兩可
constructive analysis 構(gòu)造性分析
constructive apraxia 結(jié)構(gòu)性失用癥
constructive argument 建設(shè)性論據(jù)
constructive assent 推定的同意
constructive attack 積極進(jìn)攻
constructive boundary 建設(shè)性板塊邊界

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

推薦英語(yǔ)閱讀

constructive program verification的中文翻譯，constructive program verification是什么意思，怎么用漢語(yǔ)翻譯constructive program verification，constructive program verification的中文意思，constructive program verification的中文，constructive program verification in Chinese，constructive program verification的中文，constructive program verification怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。